Computability and Logic
by George S. Boolos,Richard C. Jeffrey
ISBN 13: 9780521389235
Format: Paperback (320 pages) Publisher: Cambridge University Press Published: 29 Sep 1989 Other Format: Paperback
Save for later